Merge pull request #2537 from jlebon/pr/fix-floating
authorColin Walters <walters@verbum.org>
Wed, 9 Feb 2022 22:15:26 +0000 (17:15 -0500)
committerGitHub <noreply@github.com>
Wed, 9 Feb 2022 22:15:26 +0000 (17:15 -0500)
commitd8e33e3a498ede4ae6d535a9a13d04257ad61b44
tree871ca5bf762975a523f0644a52941170d95760ef
parent0eaad8762b73c23a3c13b5fdaa40f47677527a0b
parentc5ecef0aa453a1ba2e9fb9a2319bf4a9999a5180
Merge pull request #2537 from jlebon/pr/fix-floating

lib/gpg-verify-result: Add missing floating annotation